函数

fetestexcept (C++11)

int fetestexcept(int excepts);

测试浮点异常

返回在 excepts 中当前设置的异常。

返回值是用按位或表示的 excepts 中被当前 浮点环境 设置的异常的集合。如果 excepts 中的异常一个没有被设置,则返回 0。

调用这个函数的程序需要确保在本次函数调用时,编译指示 FENV_ACCESS 已经开启。

参数

excepts

位掩码值:支持的任何浮点异常数字的组合(按位 OR):

宏值 描述
FE_DIVBYZERO 极错误:被 0 除,或一些其他渐进无限的结果(从有限的参数)。
FE_INEXACT 不精确:结果不准确。
FE_INVALID 作用域错误:至少一个参数是函数没有定义的值。
FE_OVERFLOW 上溢错误:结果太大了,超出了返回值类型能表示的数量级。
FE_UNDERFLOW 下一错误:结果太小了,超出了返回值类型能表示的数量级。
FE_ALL_EXCEPT 所有异常(选择实现支持的所有异常)

特定的库实现可能会支持附加的 浮点异常 值(它们对应的宏同样以 FE_ 开头的宏)。

C99

库可能定义在 <fenv.h>,仅仅支持上面这些宏值(其他可能没有被定义)。

C++11

至少上面所有的宏值都定义在 <fenv.h> 中(即使实现不支持)。

返回值

如果 excepts 中的异常没有一个被设置的话,则返回 0,否则返回当前设置的异常(在 excepts 中的)。

例子

  1. /* fetestexcept example */
  2. #include <stdio.h> /* puts */
  3. #include <fenv.h> /* feraiseexcept, fetestexcept, FE_* */
  4. #pragma STDC FENV_ACCESS on
  5. double fn(double x)
  6. {
  7. /* some function for which zero is a domain and range error */
  8. if(x == 0.0)
  9. feraiseexcept(FE_INVALID | FE_OVERFLOW);
  10. return x;
  11. }
  12. int main()
  13. {
  14. int fe;
  15. feclearexcept(FE_ALL_EXCEPT);
  16. fn(0.0);
  17. /* testing for single exception: */
  18. if(fetestexcept(FE_OVERFLOW))
  19. puts("FE_OVERFLOW is set");
  20. /* testing multiple exceptions: */
  21. fe = fetestexcept(FE_ALL_EXCEPT);
  22. puts("The following exceptions are set:");
  23. if(fe & FE_DIVBYZERO)
  24. puts("FE_DIVBYZERO");
  25. if(fe & FE_INEXACT)
  26. puts("FE_INEXACT");
  27. if(fe &FE_INVALID)
  28. puts("FE_INVALID");
  29. if(fe & FE_OVERFLOW)
  30. puts("FE_OVERFLOW");
  31. if(fe & FE_UNDERFLOW)
  32. puts("FE_UNDERFLOW");
  33. return 0;
  34. }

可能的输出:

  1. FE_OVERFLOW is set
  2. The following exceptions are set:
  3. FE_INVALID
  4. FE_OVERFLOW

数据竞争

每个线程都保持着分离的、拥有自己状态的 浮点环境 。产生一个新线程就复制当前状态。[ 这个适用于 C11 和 C++11 的实现 ]

异常

不抛出异常的保证:这个函数从不抛出异常。
注意 C 浮点环境异常 不是 C++ 异常,因此不能被 try/catch 块捕捉。
调用这个函数的时候,如果编译指示 FENV_ACCESS 关闭的话,则会导致未定义行为。

另请参见

函数 描述
feraiseexcept 触发浮点异常 (函数)
feclearexcept 清楚浮点异常 (函数)
feholdexcept 保留浮点异常 (函数)